Faces of an integer polyhedron.

In (1) x is an m + n vector, b is an integer m-vector, c an m + n vector, and A an m X (m + n) integer matrix containing an m X m identity matrix. A is assumed to be rearranged and partitioned into an m X m optimal basis matrix B for the noninteger problem and a collection of nonbasic columns forming the matrix N with A = (B,N). An alternative form of (1) that is useful here for geometric interpretation is to revert to inequalities, writing A as (A', I). Then (1) becomes